例句與造句

1. Since May 2015 it runs on a server at Carnegie Mellon University that is funded in the context of Steve Awodey's HoTT MURI grant.
2. The first higher-dimensional models of intensional type theory were constructed by Steve Awodey and his student Michael Warren in 2005 using Quillen model categories.
3. In 2014 Shulman was part of a team headed by Steve Awodey that was awarded a $ 7.5M grant from the Air Force Research Laboratory for homotopy type theory.
4. Related ideas were discussed in the talks by Steve Awodey, " Type theory of higher-dimensional categories ", and Thomas Streicher, " Identity types vs . weak omega-groupoids : some ideas, some problems ".
5. The next pivotal event was a mini-workshop at the Mathematical Research Institute of Oberwolfach in March 2011 organized by Steve Awodey, Richard Garner, Per Martin-L鰂, and Vladimir Voevodsky, titled " The homotopy interpretation of constructive type theory ".
6. It's difficult to find steve awodey in a sentence. 用steve awodey造句挺難的
7. Along with fellow researchers such as Andrej Bauer and Steve Awodey, Shulman was one of the principal authors of the book " Homotopy type theory : Univalent foundations of mathematics ", which summarized much of the work of the Special Year and has become a benchmark in the new field of homotopy type theory.